<?php
function helloED(){
    echo "helloED";
}